subst x: .